Definition (class 𝐃𝐓𝐈𝐌𝐄\mathbf{DTIME})

Let T:T : \mathbb{N} \to \mathbb{N} be some function. A language LL is in 𝐃𝐓𝐈𝐌𝐄(T(n))\mathbf{DTIME}(T(n)) iff there is a Turing machine that runs in time cT(n)c \cdot T(n) for some constant c>0c > 0 and decides LL.


References

  1. S. Arora, B. Barak. Computational Complexity: A Modern Approach, Cambridge University Press, 2009, p. 25.
  2. https://www.wisdom.weizmann.ac.il/~oded/PS/CC/l26.pdf